|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 15 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Generating Verifiable Java Code from Verified PVS Specifications.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Formal Component-Based Semantics |
SOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
A Formal Verification Study on the Rotterdam Storm Surge Barrier. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer |
Efficient and Type-Safe Generic Data Storage. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Marko C. J. D. van Eekelen |
LaQuSo: Using Formal Methods for Analysis of Safety-Cr. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur |
Code-carrying theories. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Compression, Code generation, Functional languages, Unification, PVS, Proof assistants |
| 1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
simulation, verification, theorem proving, PVS, cyclic scheduling |
| 1 | Artem Alimarine, Sjaak Smetsers |
Improved Fusion for Optimizing Generics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
generic/polytypic programming, program transformation, fusion |
| 1 | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
There and back again: arrows for invertible programming. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
invertible program construction, haskell, polytypic programming, arrows |
| 1 | Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer |
Polytypic Syntax Tree Operations. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Alimarine, Sjaak Smetsers |
Optimizing Generic Functions. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers |
Fusion in Practice. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. |
Mathematical Structures in Computer Science |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |
Graph Rewriting Semantics for Functional Programming Languages. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
A derivation system for uniqueness typing. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Uniqueness Typing in Natural Deduction Style. |
Functional Programming |
1995 |
DBLP BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Uniqueness Type Inference |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Nöcker, Sjaak Smetsers |
Partially Strict Non-Recursive Data Types. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Extending Graph Rewriting with Copying. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Conventional and Uniqueness Typing in Graph Rewrite Systems. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Sjaak Smetsers, Simon Brock |
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Concurrent Clean. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer |
Generating Efficient Code for Lazy Functional Languages. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers |
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")